Combining Statecharts and Collaboration Diagrams for the Development of Production Control Systems
نویسندگان
چکیده
Todays manufacturing industry faces big challenges. The market demands a very flexible production process which adjusts quickly to e.g. changing characteristics of the produced goods or different lot sizes and which tries to minimize production costs as much possible. In order to meet these challenges todays production control systems become more and more decentralized [GBFG96]. The building blocks of such a production control system are different, selfacting and computer controlled resources like e.g. switches, shuttles, machines or robots.
منابع مشابه
Testing and Simulating Production Control Systems Using the Fujaba Environment
The Fujaba environment provides means for the specification of the software systems in UML notation and it has the opportunity to simultate the specified applications beforehand. Therefore, Fujaba provides editors for UML class diagrams for the static aspects of a software system and it provides Story Diagrams for the specification of dynamic behaviour. Story Diagrams combine UML activity diagr...
متن کاملWhat Can Policy-Makers Get Out of Systems Thinking? Policy Partners’ Experiences of a Systems-Focused Research Collaboration in Preventive Health
Background There is increasing interest in using systems thinking to tackle ‘wicked’ policy problems in preventive health, but this can be challenging for policy-makers because the literature is amorphous and often highly theoretical. Little is known about how best to support health policy-makers to gain skills in understanding and applying systems thinking for policy action. <br /...
متن کاملThe Fujaba Statechart Synthesis Approach
The Fujaba project tries to provide tool support for iterative software development with the UML. Each iteration starts with a textual scenario description for some new usecase. Then this textual scenario is refined by UML scenario diagrams, i.e. activity diagrams or collaboration diagrams or sequence diagrams. Along with these scenarios, we derive class diagram elements for all used kinds of o...
متن کاملCombining Statecharts and Z for the Design of Safety-Critical Control Systems
In this report, we describe an approach that integrates a mathematical speci cation language with more traditional software design techniques to yield a practicable methodology for the speci cation of safety-critical control systems. To manage complexity and to foster separation of concerns, the system design model is divided into three views: the architectural view, speci ed with object and cl...
متن کاملOn the Formal Semantics of VisualSTATE Statecharts
This paper presents a formal semantics of statecharts – a visual language successfully employed in design of control algorithms. Our formalization is implementation oriented, with efficiency in the focus. It has been used as a specification in development of scope, an experimental code generator for embedded systems. The version of statecharts we describe is that implemented in commercial devel...
متن کامل